package tr.edu.ege.kipler.syntax;

import tr.edu.ege.kipler.common.Copyable;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface WorldElement extends Copyable<WorldElement>,
		Negatable<WorldElement>, VisitableWorldElement {
}
